Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
131	Configuration as Composite Constraint Satisfaction Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:10:36 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Constraint graph Mathematical optimization Search algorithm Constraint Decomposition method Constraint programming Software engineering Computer programming
132	Artificial Intelligence[removed]–156 Decomposable constraints ✩ Ian Gent a , Kostas Stergiou b,∗ , Toby Walsh c a APES Research Group, School of Computer Science, University of St Andrews, Scotland, UK b APE Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:51:04 Artificial intelligence Local consistency Constraint satisfaction problem Constraint satisfaction Constraint inference Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
133	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
134	Elicitation Strategies for Soft Constraint Problems with Missing Preferences: Properties, Algorithms and Experimental Studies Mirco Gelain1 , Maria Silvia Pini1 , Francesca Rossi1 , K. Brent Venable1 , and Toby Walsh2 1 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-05-12 15:34:36 Constraint optimization Constraint satisfaction problem Preference Constraint satisfaction Optimization problem Semiring Economics Applied mathematics Constraint programming Mathematical optimization Mathematics
135	Binary vs. Non-Binary Constraints Fahiem Bacchus Department of Computer Science University of Toronto Toronto, Canada [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:43:15 Computer programming Constraint satisfaction problem Local consistency Hidden transformation Constraint satisfaction Constraint graph Boolean satisfiability problem Hidden variable Backtracking Constraint programming Software engineering Theoretical computer science
136	Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1007.4114v1 [cs.LO] 23 Jul 2010 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-12-17 06:32:10 Artificial intelligence Constraint logic programming Local consistency Constraint satisfaction problem Constraint satisfaction Structure Answer set programming Valuation Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
137	SJNW840-03-NO00007071.tex Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-05-15 20:34:29 Constraint satisfaction problem Constraint satisfaction Statistics Drive letter assignment Mathematical optimization Bayesian network Constraint programming Computing Constraint optimization
138	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering
139	Constraints[removed]:372–406 DOI[removed]s10601[removed]y New algorithms for max restricted path consistency Thanasis Balafoutis · Anastasia Paparrizou · Kostas Stergiou · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-11-10 00:37:14 Computing Local consistency Constraint satisfaction problem Decomposition method Constraint satisfaction Mathematical optimization Backtracking Algorithm AC-3 algorithm Constraint programming Software engineering Computer programming
140	Guiding Planner Backjumping Using Verifier Traces Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 07:53:49 Artificial intelligence Search algorithms Complexity classes Backjumping Backtracking Constraint satisfaction problem Model checking NP IP Theoretical computer science Applied mathematics Constraint programming

UPDATE